- 自动定理证明
- automatic: adj. 1.自动的；机械的。 2.【生理】自动性的，无 ...
- theorem: n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- prove: vt. ( -d; -d, 〔古、美〕 proven ) ...
- theorem proving: 定理证明
- automated theorem proving: 自定理明; 自动定理证明
下载手机词典可随时随地查词查翻译
automatic theorem proving中文什么意思
- 自动定理证明
下载手机词典可随时随地查词查翻译
例句与用法
- A member of the herbrand base is called atom in automatic theorem proving
在自动定理证明中,海尔勃朗基的成员也称为原子。
相关词汇
相邻词汇
- automatic testing equipment 什么意思
- automatic testing machine 什么意思
- automatic text 什么意思
- automatic text categorization 什么意思
- automatic texture analysis system 什么意思
- automatic thermal regulator 什么意思
- automatic thermal type fire-alarm 什么意思
- automatic thermo type fire alarm 什么意思
- automatic thermohygrograph 什么意思
- automatic thermometic enthalpy titration 什么意思